1. A introduction to digital computer design
پدیدآورنده : / [by] V. Rajaraman and T. Radhakrishnan
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Computer engineering,Programming (Electronic computers)
رده :
TK
7888
.
3
.
R3
1987
2. ADA a first course in programming and software engineering
پدیدآورنده : Bover, David
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Programming )Electronic computers(,، Software engineering,، Ada )Computer program language(
رده :
QA
76
.
6
.
B695
3. An introduction to digital computer design
پدیدآورنده : / [by] V. Rajaraman
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Computer engineering,Programming (Electronic computers)
رده :
TK
7888
.
3
.
R3
1983
4. Computer-aided design of language processors
پدیدآورنده : Shangin, V. F.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
5. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
6. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
7. Engineering and scientific computations in PASCAL
پدیدآورنده : Huelsman, Lawrence P
موضوع : ، Engineering-- Data processing,، Pascal )Computer program language(,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
9. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
10. How to make computers easier to use : digest of papers
پدیدآورنده : Compcon, )11th, 5791, Washington, D.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
11. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
12. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
13. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
14. Programming languages and systems :
پدیدآورنده : Gilles Barthe (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
E97
2011
15. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
16. Software Engineering Environments
پدیدآورنده : Editor Pearl Brereton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers- Programming,Computer engineering
رده :
QA
،
76
.
6
،.
S6478
،
1988
17. Software engineering environments
پدیدآورنده : editor, Pearl Brereton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers-programming,computer engineering
رده :
QA
76
.
6
.
S6
1988
18. Software engineering environments
پدیدآورنده : editor, Pearl Brereton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers-programming,computer engineering
رده :
QA
76
.
6
.
S6
1988
19. Software engineering with Ada /
پدیدآورنده : Grady Booch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : ADA,Ada (Computer program language),Software engineering.,Electronic digital computers-- Programming.,Ada (Computer program language),Ada (langage de programmation),ADA.,Génie logiciel.,Software Engineering,Software engineering.
رده :
QA76
.
73
.
A35
B66
1987
20. Software language engineering :
پدیدآورنده : Anneke Kleppe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
رده :
QA76
.
7
.
K576
2009
